1. Advanced Information Processing :
المؤلف: edited by Heinz Schwärtzel, Igor A. Mizin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
2. Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
المؤلف: edited by Michael J. Maher.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computational complexity.,Computer science.,Data encryption (Computer science),Information systems.,Information theory.,Software engineering.
3. Applications of continuous mathematics to computer science /
المؤلف: by Hung T. Nguyen, Vladik Kreinovich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
4. Automated deduction in geometr
المؤلف: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
5. CG International '90 :
المؤلف: edited by Tat-Seng Chua, Tosiyasu L. Kunii.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer graphics.,Computer science.
رده :
T385
.
E358
1990
6. Computational Logic - CL 2000 :
المؤلف: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
7. Computational intelligence and information technology :
المؤلف: Vinu V Das, Nessy Thankachan (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence, Congresses.,Information technology, Congresses.
رده :
Q342
.
I58
2011
8. Computer aided systems theory--EUROCAST '93 :
المؤلف: F. Pichler, R. Moreno Díaz, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-aided design, Congresses.,Computer-aided engineering, Congresses.
رده :
TA345
.
I62
1993
9. Computing handbook :
المؤلف: edited by Teofilo Gonzalez, Jorge Díaz-Herrera ; editor-in-chief, Allen Tucker.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Handbooks, manuals, etc.,Computer science.,Software engineering -- Handbooks, manuals, etc.
رده :
QA76
.
E358
9999
10. Connected Dominating Set: Theory and Application
المؤلف: / by Ding-Zhu Du, Peng-Jun Wan
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Computer Communication Networks,Computer software,Combinatorics,Mathematical optimization,Electronic books
رده :
E-BOOK
11. Conquering complexity
المؤلف: Mike Hinchey, Lorcan Coyle, editors ; foreword by Roger Penrose
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity,Computer science,Software engineering
رده :
QA76
.
758
.
C66
2012eb
12. Data science and predictive analytics :
المؤلف: Ivo D. Dinov.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Big data.,Mathematical statistics.,Medical records-- Data processing.,R (Computer program language),Big Data.,Big Data/Analytics.,Data Mining and Knowledge Discovery.,Health Informatics.,Probability and Statistics in Computer Science.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Mathematical & Statistical Software.,Data mining.,Databases.,Mathematical statistics.,Maths for computer scientists.,Medical equipment & techniques.,Medical-- General.,Medical records-- Data processing.,R (Computer program language)
رده :
QA76
.
9
.
B45
D56
2018
13. Experimental algorithms :
المؤلف: Ralf Klasing (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms -- Congresses.,Computer algorithms.,Informatique.
14. Facing the Multicore - Challenge II
المؤلف: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
15. Foundations of software science and computation structures :
المؤلف: Christel Baier, Ugo Dal Lago (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
16. ICT Innovations 2018 :
المؤلف: Slobodan Kalajdziski, Nevena Ackovska (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Information technology, Congresses.,Telecommunication, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Computer Communication Networks.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Special Purpose and Application-Based Systems.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information technology.,Life sciences: general issues.,Network hardware.,Telecommunication.
رده :
Q342
17. Informatics in schools :
المؤلف: Sergei N. Pozdniakov, Valentina Dagienė (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Education-- Information technology, Congresses.,Computer Appl. in Social and Behavioral Sciences.,Computers and Education.,Educational Technology.,Software Engineering/Programming and Operating Systems.,Computer-assisted instruction.,Computers-- Data Processing.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Education-- Data processing.,Educational equipment & technology, computer-aided learning (Calif.),Society & social sciences.,Software Engineering.
رده :
LB1028
.
43
18. Information computing and applications :
المؤلف: Baoxiang Liu, Chunlai Chai (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses,Information technology, Congresses
رده :
QA75
.
5
.
I25
2011
19. Internet and network economics :
المؤلف: Ning Chen, Edith Elkind, Elias Koutsoupias (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks-- Economic aspects, Congresses,Electronic commerce, Congresses,Internet-- Economic aspects, Congresses
رده :
HB849
.
7
.
W56
2011